Inner models with large cardinal features usually obtained by forcing
نویسندگان
چکیده
منابع مشابه
Inner models with large cardinal features usually obtained by forcing
We construct a variety of inner models exhibiting features usually obtained by forcing over universes with large cardinals. For example, if there is a supercompact cardinal, then there is an inner model with a Laver indestructible supercompact cardinal. If there is a supercompact cardinal, then there is an inner model with a supercompact cardinal κ for which 2κ = κ+, another for which 2κ = κ++ ...
متن کاملForcing notions in inner models
There is a partial order P preserving stationary subsets of !1 and forcing that every partial order in the ground model V that collapses a su ciently large ordinal to !1 over V also collapses !1 over V P. The proof of this uses a coding of reals into ordinals by proper forcing discovered by Justin Moore and a symmetric extension of the universe in which the Axiom of Choice fails. Also, using on...
متن کاملForcing Axioms and Cardinal Arithmetic
We survey some recent results on the impact of strong forcing axioms such as the Proper Forcing Axiom PFA and Martin’s Maximum MM on cardinal arithmetic. We concentrate on three combinatorial principles which follow from strong forcing axioms: stationary set reflection, Moore’s Mapping Reflection Principle MRP and the P-ideal dichotomy introduced by Abraham and Todorčević which play the key rol...
متن کاملForcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics
The purpose of this communication is to present some recent advances on the consequences that forcing axioms and large cardinals have on the combinatorics of singular cardinals. I will introduce a few examples of problems in singular cardinal combinatorics which can be fruitfully attacked using ideas and techniques coming from the theory of forcing axioms and then translate the results so obtai...
متن کاملInner Models for Large Cardinals
One new idea leads to another, that to a third, and so on through a course of time until someone, with whom no one of these is original, combines all together, and produces what is justly called a new inven-3 tion.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Archive for Mathematical Logic
سال: 2011
ISSN: 0933-5846,1432-0665
DOI: 10.1007/s00153-011-0264-5